101. Foundations of Software Science and Computation Structures
پدیدآورنده : \ Andrew Pitts (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستمها -- کنگره ها ,نرمافزار رایانه ای -- کنگره ها,نرمافزار -- مهندسی -- کنگرهها
رده :
QA76
.
751
.
F67
2015
E-Book
,
102. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
103. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
104. Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 1999 : proceedings
پدیدآورنده : C. Pandu Rangan, V. Raman, R. Ramanujam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1738
105. Foundations of software technology and theoretical computer science: 18th conference, Chennai, India, December 17-19, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
758
.
C684
1998
106. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
107. Fundamentals of Computation Theory
پدیدآورنده : \ Adrian Kosowski , Igor Walukiewicz (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Software engineering.,Computer science -- Congresses.,مهندسی نرم افزار ,علوم کامپیوتر -- کنگرهها
رده :
QA
76
.
76
.
F8
2015
E-Book
,
108. Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings
پدیدآورنده : Don Batory, Charles Consel, Walid Taha )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2487
109. Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
پدیدآورنده : Gabor Karsai, Eelco Visser )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3286
110. Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings
پدیدآورنده : Frank Pfenning, Yannis Smaragdakis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2830
111. Generative programming and component engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
پدیدآورنده : Robert Gluck, Michael Lowry )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3676
112. Human-Computer Interaction Interact 2015
پدیدآورنده : \ [edited by] Julio Abascal...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Human-computer interaction -- Congresses.,Software engineering.,انسان و کامپیوتر -- کنگرهها ,مهندسی نرم افزار
رده :
QA
76
.
9
.
H85
2015
E-Book
,
113. IAENG Transactions on Engineering Technologies
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering -- Congresses,Computer engineering -- Congresses,Software engineering -- Congresses,مهندسی -- کنگرهها,مهندسی کامپیوتر -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
114. IAENG Transactions on Engineering Technologies
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering -- Congresses,Computer engineering -- Congresses,Software engineering -- Congresses,مهندسی -- کنگرهها,مهندسی کامپیوتر -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
115. ISSS : 15th International Symposium on System Synthesis : Kyoto, Japan, October 2-4, 2002
پدیدآورنده : co-sponsored by ACM SIGDA and IEEE Computer Society
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Congresses ، Systems software,Congresses ، Computer-aided software engineering
رده :
QA
76
.
9
.
S88I57
2002
116. ISSS: 14th International Symposium on System Synthesis: Montreal, Canada, September 30, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، System design,Congresses ، Systems software,Congresses ، Computer-aided software engineering
رده :
QA
76
.
9
.
S88
.
I582
2001
117. ISSS : 14th International Symposium on System Synthesis : Montreal, Canada, September 30, 2001
پدیدآورنده : sponsored by IEEE Computer Society Technical Committe on Design Automation; ACM SIGDA
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System design,Congresses ، Systems software,Congresses ، Computer-aided software engineering
رده :
QA
76
.
9
.
S88I57
2001
118. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
119. Information and Software Technologies
پدیدآورنده : \ Giedre Dregvaite , Robertas Damasevicius (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
120. Information, communication and computing technology : second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised selected papers
پدیدآورنده : Kaushik, Saroj
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer networks -- Congresses,، Artificial intelligence -- Congresses,، Software engineering -- Congresses.
رده :
TK
5101
.
K47
2017